Package-level Fault Diagnosis of Sequential Circuits Based on Automated Reasoning

A model-based reasoning architecture for system-level fault diagnosis

Dynamic diagnosis of sequential circuits based on stuck-at faults

A dynamic diagnosis scheme for synchronous sequential circuits is proposed. In contrast with schemes like fault dictionaries no prior computation and storage of fault symptoms is performed. The technique combines cause-effect and effect-cause strategies. Cause-effect analysis is performed by single stuckat fault simulation followed by a matching algorithm. Effectcause analysis is performed by a...

Case Based Reasoning as an Extension of Fault Dictionary Methods for Linear Electronic Analog Circuits Diagnosis

Even though there are plenty of methods proposed for diagnosing analog electronic circuits, the most popular are the fault dictionary techniques. The proposal of this paper is to extend the fault dictionary towards a Case Based Reasoning system. The case base memory, and the retrieval, reuse, revise and retain tasks are described. Special attention to the learning process is taken. An applicati...

Fault-Simulation Based Design Error Diagnosis for Sequential Circuits - Design Automation Conference, 1998. Proceedings

This paper addresses the problem of locating design errors in a sequential circuit. For single-error circuits, we consider a signal f a s a potential error source only if the circuit can be completely rectified by re-synthesizing f (i.e., changing the function of signal 8. In order to handle larger circuits, we do not rely on Binary Decision Diagram. Instead, we search for potential error sourc...

Extending a Fault Dictionary Towards a Case Based Reasoning System for Linear Electronic Analog Circuits Diagnosis

There are plenty of methods proposed for analog electronic circuit diagnosis, but the most popular ones are the fault dictionary techniques. Admitting more cases in a fault dictionary can be seen as a natural development towards a CBR system. The proposal of this paper is to extend the fault dictionary towards a Case Based Reasoning system. The case base memory, retrieval, reuse, revise and ret...